A probabilistic causal calculus: Conflicting conceptions
نویسندگان
چکیده
منابع مشابه
A Calculus for Causal Relevance
We present a sound and complete calculus for causal relevance that uses Pearl’s functional causal models as semantics. The calculus consists of axioms and rules of inference for reasoning about causal relevance relationships. We extend the set of known axioms for causal relevance with new axioms and rules of inference. The axioms are then divided into different sets for reasoning about specific...
متن کاملMeasured, modeled, and causal conceptions of fitness
THIS PAPER PROPOSES PARTIAL ANSWERS TO THE FOLLOWING QUESTIONS: in what senses can fitness differences plausibly be considered causes of evolution?What relationships are there between fitness concepts used in empirical research, modeling, and abstract theoretical proposals? How does the relevance of different fitness concepts depend on research questions and methodological constraints? The pape...
متن کاملCausal Time Calculus
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two consistent semantics: a structural operational semantics (as usual for process algebras) and a denotational semantics in terms of Petri nets in which time is introduced through counters of explicit clock ticks. This way o...
متن کاملDynamic Causal Calculus
We introduce dynamic causal calculus, a nonmonotonic formalism that can be viewed as a direct logical counterpart of the action description language C+ from (Giunchiglia et al. 2004). We formulate a nonmonotonic semantics of the associated causal language, and compare this semantics with the indirect, two-stage semantics for C+, given in (Giunchiglia et al. 2004). It will be shown, in particula...
متن کاملA Probabilistic Applied Pi-Calculus
We propose an extension of the Applied Pi–calculus by introducing nondeterministic and probabilistic choice operators. The semantics of the resulting model, in which probability and nondeterminism are combined, is given by Segala’s Probabilistic Automata driven by schedulers which resolve the nondeterministic choice among the probability distributions over target states. Notions of static and o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 1981
ISSN: 0039-7857,1573-0964
DOI: 10.1007/bf01063990